George Necula

Results: 57



#Item
11

Published in Proc. of “Conference on Automated Deduction (CADE)”, A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani and George C. Necula University of Califo

Add to Reading List

Source URL: www.cs.berkeley.edu

- Date: 2010-10-29 12:59:29
    12

    Shape Analysis with Structural Invariant Checkers Bor-Yuh Evan Chang Xavier Rival George Necula

    Add to Reading List

    Source URL: www.cs.berkeley.edu

    - Date: 2010-10-29 12:59:22
      13

      Published in the Proceedings of the Principles of Programming Languages, 2001, pages 142–154 Oracle-Based Checking of Untrusted Software George C. Necula S. P. Rahul

      Add to Reading List

      Source URL: www.cs.berkeley.edu

      Language: English - Date: 2010-10-29 12:59:39
        14

        Exceptional Situations and Program Reliability WESTLEY WEIMER and GEORGE C. NECULA University of California, Berkeley It is difficult to write programs that behave correctly in the presence of run-time errors. Proper be

        Add to Reading List

        Source URL: www.cs.berkeley.edu

        Language: English - Date: 2010-10-29 12:59:14
          15

          Published in the Proceedings of the Principles of Programming Languages, 2002, pages 128–139 CCured: Type-Safe Retrofitting of Legacy Code George C. Necula Scott McPeak

          Add to Reading List

          Source URL: www.cs.berkeley.edu

          Language: English - Date: 2010-10-29 12:59:29
            16

            MacFS: A Portable Macintosh File System Library Peter A. Dinda George C. Necula July 1998

            Add to Reading List

            Source URL: www.cs.berkeley.edu

            Language: English - Date: 2010-10-29 12:59:15
              17

              A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols 1 Sumit Gulwani , George C. Necula Department of Computer Science, UC-Berkeley, Berkeley, CA 94720, USA

              Add to Reading List

              Source URL: www.cs.berkeley.edu

              Language: English - Date: 2010-10-29 12:59:41
                18

                Published in “Conference on Compiler Construction” (CC), 2005, pp. 172–187. Data Slicing: Separating the Heap into Independent Regions Jeremy Condit and George C. Necula Department of Electrical Engineering and Co

                Add to Reading List

                Source URL: www.cs.berkeley.edu

                Language: English - Date: 2010-10-29 12:59:10
                  19

                  Capriccio: Scalable Threads for Internet Services Rob von Behren, Jeremy Condit, Feng Zhou, George C. Necula, and Eric Brewer Computer Science Division University of California, Berkeley {jrvb,jcondit,zf,necula,brewer}@c

                  Add to Reading List

                  Source URL: www.scs.stanford.edu

                  Language: English - Date: 2004-04-06 18:09:47
                    20

                    Published in Proc. of 3rd International Symposium on Software Security, Lightweight Wrappers for Interfacing with Binary Code in CCured ? Matthew Harren and George C. Necula University of California, Berkeley

                    Add to Reading List

                    Source URL: www.cs.berkeley.edu

                    Language: English - Date: 2010-10-29 12:59:26
                      UPDATE